Leslie Lamport
https://lamport.azurewebsites.net/pubs/pubs.html